Finding Gale Strings
نویسندگان
چکیده
Electronic Notes in Discrete Mathematics 36 (2010) 1065–1072 The problem 2-NASH of finding a Nash equilibrium of a bimatrix game belongs to the complexity class PPAD. This class comprises computational problems that are known to have a solution by means of a path-following argument. For bimatrix games, this argument is provided by the Lemke–Howson algorithm. It has been shown that this algorithm is worst-case exponential with the help of dual cyclic polytopes, where the algorithm can be expressed combinatorially via labeled bitstrings defined by the “Gale evenness condition” that characterize the vertices of these polytopes. We define the combinatorial problem ANOTHER COMPLETELY LABELED GALE STRING whose solutions define the Nash equilibria of games defined by cyclic polytopes, including games where the Lemke–Howson algorithm takes exponential time. If this problem was PPAD-complete, this would imply that 2-NASH is PPAD-complete, in a much simpler way than the currently known proofs, including the original proof by Chen and Deng [3]. However, we show that ANOTHER COMPLETELY LABELED GALE STRING is solvable in polynomial time by a simple reduction to PERFECT MATCHING in graphs, making it unlikely to be PPAD-complete. Although this result is negative, we hope that it stimulates research into combinatorially defined problems that are PPAD-complete and imply this property for 2-NASH.
منابع مشابه
La lutte contre les argaside, gale psoroptique et phtiriase des moutons par l'administration des insecticides par la vole buccale
متن کامل
The Number of Stable Matchings in Models of the Gale–shapley Type with Preferences given by Partial Orders
From the famous Gale–Shapley theorem we know that each classical marriage problem admits at least one stable matching. This fact has inspired researchers to search for the maximum number of possible stable matchings, which is equivalent to finding the minimum number of unstable matchings among all such problems of size n. In this paper, we deal with this issue for the Gale–Shapley model with pr...
متن کاملFinding Palindromes: Variants and Algorithms
The problem of finding palindromes in strings appears in many variants: find exact palindromes, ignore punctuation in palindromes, require space around palindromes, etc. This paper introduces several predicates that represent variants of the problem of finding palindromes in strings. It also introduces properties for palindrome predicates, and shows which predicates satisfy which properties. Th...
متن کاملOn Approximating String Selection Problems with Outliers
Many problems in bioinformatics are about finding strings that approximately represent a collection of given strings. We look at more general problems where some input strings can be classified as outliers. The Close to Most Strings problem is, given a set S of same-length strings, and a parameter d, find a string x that maximizes the number of “non-outliers” within Hamming distance d of x. We ...
متن کاملW Strings and Cohomology in Parafermionic Theories
By enforcing locality we relate the cohomology found in parafermionic theories to that occurring in W strings. This link provides a systematic method of finding states in the cohomology of W 2,s strings.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electronic Notes in Discrete Mathematics
دوره 36 شماره
صفحات -
تاریخ انتشار 2010